نتایج جستجو برای: G ̈odel algebra
تعداد نتایج: 504074 فیلتر نتایج به سال:
we commence by using from a new norm on l1(g) the -algebra of all integrable functions on locally compact group g, to make the c-algebra c(g). consequently, we find its dual b(g), which is a banach algebra so-called fourier-stieltjes algebra, in the set of all continuous functions on g. we consider most of important basic theorems about this algebra. this consideration leads to a rather com...
An animation of a formal speci cation language is seen as a sig-ni cant advantage in validating speci cations.This paper the describes di erences between the type systems ofthe programming language, Godel and the Z notation and the impli-cations this has for devising a set of rules for animation of Z via Godel.A set of rules are outlined and future work is discusse...
chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...
In G\"odel-type Som-Raychaudhuri (SR) cosmic string spacetime background, we re-cycle the Klein-Gordon (KG) oscillators and report their correct exact solutions. We argue that mathematical collapse of KG-equation into 2-dimensional radial Schr\"odinger-like oscillator does not yield parametric characterizations one is inherited by other. The angular frequency (positive) in Schr\"odinger case re...
Sequence comparison is an important tool in the determination of the homology (relatedness) between sets of genetic material. This information provides evidence about the evolutionary history of and the relationships between organisms. A system to compute signatures for subfamilies of organisms in a given phylogenetic tree from a multiple alignment of 5S rRNA sequence data has been implemented ...
Knn odel graphs of even order n and degree 1 blog 2 (n)c, W;n, are graphs which have been introduced some 25 years ago as the topology underlying a time optimal algorithm for gossiping among n nodes Knn o75]. However, they have been formally deened only 5 years ago FP94]. Since then, they have been widely studied as interconnection networks, mainly because of their good properties in terms of b...
From 1931 until late in his life (at least 1970) G odel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained in his incompleteness results) and undecided set-theoretical propositions (in particular CH). As to the nature of these, Godel made a variety of suggestions, but most frequently he emphasized the route of in...
Exact particle-like static, spherically and/or cylindrically symmetric solutions to the equations of interacting scalar and electromagnetic eld system have been obtained. We considered FRW and G odel universes as external gravitational eld with spherical and cylindrical symmetry respectively. Beside the usual solitons some special regular solutions known as droplets, anti-droplets and hats (co...
In this paper, we describe the primitive ideal space of the $C^*$-algebra $C^*(mathcal G)$ associated to the ultragraph $mathcal{G}$. We investigate the structure of the closed ideals of the quotient ultragraph $ C^* $-algebra $C^*left(mathcal G/(H,S)right)$ which contain no nonzero set projections and then we characterize all non gauge-invariant primitive ideals. Our results generalize the ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید